add_application(WFI_test WFI_test.c LABELS "klessydra_tests")
